predicate constant

[数] 谓词常数